Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
51	Culture and Economy Karl Polanyi has variously been described as an economic historian, economic anthropologist, economic sociologist and, in Italy, also, an economist but his only formal academic qualification was a d Add to Reading List Source URL: www.karipolanyilevitt.com Language: English - Date: 2014-12-22 10:55:03 Academia Economy Economics Economic ideologies Historical school of economics Political ideologies Economic systems Political economy Karl Polanyi The Great Transformation Socialist economics Capitalism
52	Creedo—Scalable and Repeatable Extrinsic Evaluation for Pattern Discovery Systems by Online User Studies Mario Boley, Maike Krause-Traudes, Bo Kang and Björn Jacobs University of Bonn and Fraunhofer IAIS Schloss Birli Add to Reading List Source URL: poloclub.gatech.edu Language: English - Date: 2015-07-24 15:50:18 Formal sciences Academia Information technology Computing Data mining Business intelligence Usability Data management Evaluation Data analysis Association rule learning Pattern recognition
53	Security Watch Rebecca T. Mercuri Superscaled Security Exponential increases in computational speed, memory capacity, and Add to Reading List Source URL: www.notablesoftware.com Language: English - Date: 2007-02-28 17:32:49 Academia Metaphysics Philosophy Formal sciences Complex systems theory Crime prevention Cryptography National security Complexity Emergence Computer security The Age of Spiritual Machines
54	Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2016-04-05 14:57:15 Software Computing Real-time computing Worst-case execution time Simulink French Institute for Research in Computer Science and Automation Xavier Leroy AbsInt
55	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-07 09:24:09 Computing Software engineering Technology Formal methods Product development Project management Scientific modeling Logic in computer science Software development Information model Modeling language Entityrelationship model
56	A Multiple Testing in Statistical Analysis of Systems-Based Information Retrieval Experiments BENJAMIN A. CARTERETTE, University of Delaware High-quality reusable test collections and formal statistical hypothesis testi Add to Reading List Source URL: ir.cis.udel.edu Language: English - Date: 2013-05-22 19:25:57 Statistics Statistical theory Hypothesis testing Statistical inference Statistical tests Parametric statistics Design of experiments F-test Statistical hypothesis testing Null hypothesis P-value Resampling
57	Counterparts in Language and Space - The S-Connection Approach Joana Hois and Oliver Kutz Formal Ontology in Information Systems 2008 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-08 12:34:34 Knowledge representation Information science Cognition Knowledge Knowledge engineering Ontology Semantic Web Technical communication Relation Spatialtemporal reasoning
58	Ontology and Information Systems Barry Smith1 Philosophical Ontology Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in ev Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2002-07-31 03:24:05 Philosophy Metaphysics Ontology Academia Information science Technical communication Knowledge representation Formal ontology Barry Smith Category of being Process philosophy Mereology
59	Towards more complex grammar systems Some basic formal language theory Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-13 21:34:30 Formal languages Grammar Cognitive science Language Context-sensitive grammar Context-free grammar Regular language Formal grammar Context-free language Linear grammar Chomsky hierarchy Indexed grammar
60	Robotics: Science and Systems, JuneThe Motion Grammar: Linguistic Perception, Planning, and Control Neil Dantam and Mike Stilman School of Interactive Computing, Center fo Add to Reading List Source URL: www.neil.dantam.name Language: English - Date: 2016-07-08 17:59:42 Software engineering Parsing algorithms Formal languages Compiler construction Programming language implementation Software Context-free grammar Syntax Parsing Formal grammar Recursive descent parser Compiler-compiler

UPDATE